2

Preface

Year:
1994
Language:
english
File:
PDF, 55 KB
english, 1994
3

Context-Free Event Domains Are Recognizable

Year:
1999
Language:
english
File:
PDF, 601 KB
english, 1999
4

Proving open properties by induction

Year:
1988
Language:
english
File:
PDF, 432 KB
english, 1988
10

Operational and Semantic Equivalence Between Recursive Programs

Year:
1980
Language:
english
File:
PDF, 1.29 MB
english, 1980
12

Properties of a Notation for Combining Functions

Year:
1983
Language:
english
File:
PDF, 690 KB
english, 1983